high order predicate calculus
高階述詞演算
熱門查詢
- Molyneux [人名] [英格蘭人、愛爾蘭人姓氏] 莫利紐克斯住所名稱，來源于古法語，含義是“磨坊”(mill)
- predestine vt. 注定
- inconsequential adj. 不重要的；不合理的；不合邏輯的
- liberation n. 釋放，解放
- stealing n. 偷竊；賊贓；偷壘（棒球比賽中的犯規行為） v. 偷盜；抄襲（steal的ing形式） adj. 有偷竊行為的
- parse n. 從語法上分析；分列 vt. 解析；從語法上分析 vi. 理解；從語法上分析
- varying adj. 不同的；變化的 v. 變化，改變（vary的現在分詞）
- civics n. 公民；公民學
- destination n. 目的地，終點
- stripping n. 剝離；剝脫；拆封 v. 剝去；脫掉；拆除（strip的ing形式）
- shopworn adj. 陳舊的；陳腐的
- instigate vt. 唆使；煽動；教唆；慫恿
- overgrazing v. 在（土地等）上實行過度放牧，過度放牧( overgraze的現在分詞 )
- unlawfully adv. 不正當地；不合法地
- penknife n. 小刀，袖珍折刀
- Grayson 格雷森（姓氏）
- Nicaraguan adj. 尼加拉瓜的 n. 尼加拉瓜人
- comp n. 電腦及相關知識；DOS命令：比較兩個文件的內容；免費票；廣告樣稿；排字工人 n. (Comp)人名；(英、德)康普 vt. 給…排字；作為贈券或贈書送給；為…伴奏 vi. 排版；做伴奏
- publicity n. 宣傳，宣揚；公開；廣告；注意
- eurobond n. 歐洲債券
考試詞匯表
- variable density sign
- variable diameter ram
- variable digit layout
- variable displacement
- variable domain array
- variable equalization
- variable expressivity
- variable factor input
- variable field column
- variable field length
- variable field memory
- variable field record
- variable flow control
- variable flux reactor
- variable focal length
- variable focus lenses
- variable format input
- variable gain damping
- variable gene segment
- variable gene(V gene)
